Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
71	How to Design Classes D RAFT: June 15, 2012 How to Design Classes Data: Structure and Organization Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-06-15 18:08:07 Object-oriented programming Subtype polymorphism Class Inheritance Method Interface Protocol Abstract type Objective-C Software engineering Computing Computer programming
72	Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Data types Type theory Functional languages Computer arithmetic Program analysis Type system Subtype polymorphism Floating point C++ classes Software engineering Computing Programming language theory
73	✐ “Suppl˙reV3” — [removed] — 16:05 — page 1 — #1 Published online 0 Nucleic Acids Research, 0, Vol. 0, No. 0 1–6 Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2012-08-02 04:05:55 Bioinformatics Molecular biology Proteins TRANSFAC Nucleic acid sequence STING Basic helix-loop-helix Subtype polymorphism Myc Biology Transcription factors DNA
74	Contextual Polymorphism by Glen Jerey Ditcheld A thesis Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2015-01-30 12:38:55 Programming language theory Polymorphism Data types Object-oriented programming Parametric polymorphism Ad-hoc polymorphism Type system Subtype polymorphism Function overloading Type theory Software engineering Computing
75	High-Integrity Object-Oriented Programming in Ada Release 1.4 AdaCore Add to Reading List Source URL: extranet.eu.adacore.com Language: English - Date: 2013-06-11 04:41:01 Computer programming Object Subtype polymorphism Polymorphism in object-oriented programming Inheritance Class Method C++ Polymorphism Software engineering Object-oriented programming Computing
76	113 Some Useful Modula-3 Interfaces Jim Horning, Bill Kalsow, Paul McJones, Greg Nelson Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2002-11-26 16:19:58 Object-oriented programming Modula-3 Modula-2+ Modula-2 Abstraction Go Subtype polymorphism Jim Horning Interface Computing Software engineering Computer programming
77	Working with Mathematical Structures in Type Theory Claudio Sacerdoti Coen and Enrico Tassi Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {sacerdot,tassi}@cs.unibo.i Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-03-13 12:28:13 Logic Type theory Metalogic Structure Interpretation Subtype polymorphism Sheaf Function Unification Mathematics Mathematical logic Model theory
78	Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-31 10:51:45 Computing Type system Subtype polymorphism Type class Type inference Covariance and contravariance Type safety Hindley–Milner Polymorphism Type theory Software engineering Programming language theory
79	Translucent Sums: A Foundation for Higher-Order Module Systems Mark Lillibridge May, 1997 CMU{CS{97{122 Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 1998-07-28 13:46:09 Type theory Computer programming Subtype polymorphism Type system Modula-3 Module D-module Kernel Abstraction Software engineering Computing Data types
80	KOTLIN GETS REFLECTION [removed] Introspection is examination of Add to Reading List Source URL: www.oracle.com Language: English Computer programming Type introspection Annotation Subtype polymorphism Reflection Attribute Object-oriented programming Software engineering Computing

UPDATE